$A$ $\subseteq$\{$T$\} $B$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$. ($A$($x$)) $\Rightarrow$ ($B$($x$))